mining shrimp - German English Dictionary